Fifth Competition of Pseudo-Boolean Solvers (PB’10) Call for Solvers and Benchmarks http://www.cril.univ-artois.fr/PB10/ G OAL Like the previous competitions (PB05, PB06, PB07 and PB09), the goal is to assess the state

Source URL: www.cril.univ-artois.fr

• Logic in computer science
• Combinatorial optimization
• Operations research
• Numerical software
• Maximum satisfiability problem
• Constraint satisfaction
• Mathematical optimization
• Solver
• Satisfiability
• Integer programming
• Constraint
• Boolean satisfiability problem

Introduction to Algorithms Massachusetts Institute of Technology Professors Erik Demaine, Piotr Indyk, and Manolis Kellis May 19, Spring 2011

Source URL: courses.csail.mit.edu

• Computational complexity theory
• Mathematics
• Theory of computation
• Analysis of algorithms
• Operations research
• Asymptotic analysis
• Combinatorial optimization
• Dynamic programming
• Master theorem
• Big O notation
• Knapsack problem
• Time complexity

On the Social Welfare of Mechanisms for Repeated Batch Matching∗ Elliot Anshelevich Meenal Chhabra and Sanmay Das Matthew Gerrior

Source URL: www.cs.rpi.edu

• Game theory
• Mechanism design
• Combinatorial optimization
• Matching
• Stable marriage problem
• Welfare economics
• Cardinal utility
• Strategyproofness

Journal of Machine Learning Research–1484 Submitted 11/04; Published 9/05 Large Margin Methods for Structured and Interdependent Output Variables

Source URL: www.jmlr.org

• Mathematical optimization
• Mathematical analysis
• Analysis
• Mathematics
• Duality
• Support vector machine
• Slack variable
• Optimization problem
• Lagrange multiplier
• Perceptron
• Convex analysis
• Structured support vector machine

MCS 521 – Combinatorial Optimization Fall 2013 Problem Set 3 Lev Reyzin Due: at the beginning of class Related readings: Relevant parts of chapters 4, 5, 7, and 8

Source URL: homepages.math.uic.edu

check_list_letter_v08 [Converted].ai

Source URL: www.dubberly.com

• Statistics
• Neuropsychology
• Artificial intelligence
• Educational psychology
• Neuropsychological assessment
• Problem solving
• Statistical theory
• Computational complexity theory
• Statistical hypothesis testing
• Mathematical optimization

Real Time Recovery in Berth Allocation Problem in Bulk Ports Nitish Umang Michel Bierlaire STRC 2012

Source URL: www.strc.ch

• Operations research
• NP-complete problems
• Berth allocation problem
• Berth
• Optimization problem
• Mathematical optimization
• Ship
• Mathematics
• Systems science
• Applied mathematics

Microsoft Word - STRC Vitins Axhausen 2010.doc

Source URL: www.strc.ch

• Cybernetics
• Machine learning
• Network theory
• Networks
• Mathematics
• Applied mathematics
• Artificial intelligence
• Genetic algorithm
• Dependency grammar
• Shortest path problem
• Mathematical optimization
• Swarm intelligence

Microsoft Word - 050Vitins_full_paper.doc

Source URL: www.strc.ch

• Operations research
• Cybernetics
• Network theory
• Genetic algorithm
• Ant colony optimization algorithms
• Travelling salesman problem
• Shortest path problem
• Flow network

Optimization at Container Terminals: Status, Trends and Perspectives Ilaria Vacca, Transport and Mobility Laboratory, EPFL Michel Bierlaire, Transport and Mobility Laboratory, EPFL Matteo Salani, Transport and Mobility L

Source URL: www.strc.ch

• Intermodal containers
• Berth allocation problem
• Operations research
• Container terminals
• Gantry crane
• Transshipment
• Intermodal freight transport
• Port of Hong Kong
• Containerization
• Colombo Harbour
• International Container Transshipment Terminal
• Kochi